The Tableau Workbench

The Tableau Workbench

The Tableau Workbench (TWB) is a generic framework for building automated theorem provers for arbitrary propositional logics. The TWB has a small core that defines its general architecture, some extra machinery to specify tableau-based provers and an abstraction language for expressing tableau rules. This language allows users to “cut and paste” tableau rules from textbooks and to specify a sea...

Theory and Practice of a Generic Tableau Engine: The Tableau WorkBench

The tableau method is widely used by logicians to give decision procedure for classical and non classical logics. But the move from proof-theoretic tool to an efficient automated theorem prover is often difficult for researchers with no technical background. The main “problem” is the non-determinism inherent in the tableau method. In this paper we give a functional algorithm to mechanize the ta...

The Tableau Browser SNARKSMathias

The SRMS Workbench

Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [LL73] for periodic tasks with highly variable execution times and statistical QoS requirements. The main tenet of SRMS is that the variability in task resource requirements could be smoothed through aggregation to yield guaranteed QoS. This aggregation is done over time for a given ...

The Stringed Haptic Workbench: a New Haptic Workbench Solution

The workbench is an interesting semi-immersive configuration for interactive tasks. However, haptic feedback, i.e. force and tactile feedback, is one important cue which is missing. To the authors’ knowledge, the sole proposed solution consists in installing an arm force feedback device on one-screen workbenches. This solution, however, has several drawbacks. The arm can perturb the stereoscopi...